#!/bin/bash

lineno=1
cat $* |
while read line 
do
    echo "$lineno:  $line"
    lineno=$((lineno+1))
done


